Twisted Symmetric Group Actions

Let K be any field, K(x1, . . . , xn) be the rational function field of n variables over K, and Sn and An be the symmetric group and the alternating group of degree n respectively. For any a ∈ K \ {0}, define an action of Sn on K(x1, . . . , xn) by σ · xi = xσ(i) for σ ∈ An and σ · xi = a/xσ(i) for σ ∈ Sn \ An. Theorem. For any field K and n = 3, 4, 5, the fixed field K(x1, . . . , xn) Sn is rational (= purely transcendental) over K.